<?php 
$main = 'serv'; // this is purely for convenience as a developer to make sure that certain extensions are enabled, etc.

function serv()
{
	print(phpinfo());
}